((v1 v5 9) (v6 v3 9) (v5 v3 6) (v2 v3 2) (v5 v6 6) (v1 v6 9) (v6 v4 8) (v2 v4 2) (v4 v1 1))
87
((v2 v3))